indicatrice d'Euler \(\varphi\):\begin{align}{\Bbb N}^*&\longrightarrow{\Bbb N}^*\\ n&\longmapsto\operatorname{Card}(\m\in{\Bbb N}^*\mid m\leqslant n\land\operatorname{pgcd}(m,n)=1\)\end{align}$$
(Nombres premiers entre eux, Cardinal - Cardinalité, Pgcd)
Théorème d'Euler